Reflections on Modelling Vagueness in Description Logics

نویسندگان

  • Steven Schockaert
  • Patricia Victor
  • Geert-Jan Houben
  • Chris Cornelis
  • Martine De Cock
  • Etienne E. Kerre
چکیده

Description logics are a popular, and widely used, formalism for describing domain knowledge in a structured way. To cope with the vagueness of real-world knowledge, several fuzzy description logics have already been proposed. In this contribution, we argue that, rather than modelling all vagueness in a generalized description logic, it may be more natural to encode vague attributes in concrete domains [1], and to model vague predicates on the level of query processing. Although description logics (DLs) have gained much popularity during the past decade, applications using them suffer from one important drawback: the information they capture is supposed to be perfect, i.e., well-defined, unambiguous, certain, etc. However, real-world knowledge is often far from perfect; in order to accommodate such imperfections, several extensions to DLs have been proposed, including e.g. non-monotonic and probabilistic reasoning mechanisms. In particular, we focus on techniques dealing with vagueness in DLs. Fuzzy set theory is by far the best-known and most popular formalism to deal with vagueness in computer science. Accordingly, a wide range of fuzzy description logics have been introduced with the aim of encoding vague knowledge in ontologies, see e.g. [3]. In them, vague concepts are represented as mappings, called fuzzy sets, from a suitable universe U to the unit interval [0,1]. Based on this, fuzzy DLs allow, e.g., to express fuzzy assertional axioms, like “x is an instance of C, at least to degree α”. Although most fuzzy DLs are based on wellestablished theoretical foundations, and the main reasoning tasks are typically in the same complexity class as their crisp counterparts, it is questionable whether their use outside a strictly application-dependent context will ever be successful. Mainly, this is related to the context-dependent nature of membership degrees. After all, in a purely symbolic approach, what does it mean, e.g., to call a book cover red to degree 0.8? For example, knowing that information, is it possible that it is vermilion? In our view, a more practically workable solution is to equip DLs with concrete domains describing vagueness. A concrete domain [1] is defined as a pair D = (∆D, ΦD), where ∆D is a set, and ΦD a set of predicate names, where each name P is associated with an n-ary predicate PD ⊆ (∆D)n. A typical domain is that of reals equipped with predicates like ≤ and =, but in general concrete domains can be arbitrary domains satisfying some weak requirements. An important consequence of this is that in order to cope with vagueness, the idea of concrete domains does not need to be extended; it is possible to use concrete domains whose elements are fuzzy sets. An obvious advantage of this approach is that we can specify exactly what we mean by “red”, for instance by means of a fuzzy region in a color space. Note how this idea differs from a related approach by Straccia [4], whose proposal is not to allow fuzzy sets as elements of a concrete domain, but to construct fuzzy DLs with fuzzy relations as predicates. Furthermore, many vague concepts that arise in a semantic search setting can be treated on the level of the query processing. For example, consider a query asking for red books published during the late 1960s, and an ontology where colors and time instants are modelled in a suitable concrete domain. To answer such a vague query, we can first search for instances that satisfy a more general, crisp query, e.g., books that are red to a strictly positive degree, published between 1965 and 1970, i.e., during the late 1960s to a strictly positive degree. Next, we can rank the retrieved instances by the degree to which they satisfy the initial vague query. In this way, the interpretation of vague predicates, which is typically subjective, may be based on some user profile. Moreover, while in fuzzy description logics one operator needs to be fixed to generalize logical conjunction, treating vague predicates on the level of query processing allows for more flexibility w.r.t. the aggregation operator that is used to combine the degrees to which each of the criteria is satisfied. In conclusion, DLs with concrete domains offer both a realistic and expressive way to model objects with vague attributes. In addition, vague predicates can conveniently be modelled at the level of query processing, drawing upon a rich body of existing work on flexible query answering in databases (see e.g. [2]), and making the need for fuzzy description logics, at least in the context of semantic search, questionable. Acknowledgment Steven Schockaert and Chris Cornelis would like to thank the Research Foundation-Flanders for funding their research. Patricia Victor would like to thank the Institute for the Promotion of Innovation through Science and Technology in Flanders (IWT-Vlaanderen) for funding her research.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Managing uncertainty and vagueness in description logics for the Semantic Web

Ontologies play a crucial role in the development of the Semantic Web as a means for defining shared terms in web resources. They are formulated in web ontology languages, which are based on expressive description logics. Significant research efforts in the semantic web community are recently directed towards representing and reasoning with uncertainty and vagueness in ontologies for the Semant...

متن کامل

Fuzzy Descriptions Logics with Fuzzy Truth Values

Fuzzy Description Logics are a family of logics which allow to deal with structured knowledge affected by vagueness. Although a relatively important amount of work has been carried out in the last years, current fuzzy DLs are open to be extend with several features worked out in the fuzzy logic literature. In this work, we extend fuzzy DLs with fuzzy truth values, allowing to state sentences su...

متن کامل

On Qualified Cardinality Restrictions in Fuzzy Description Logics under Łukasiewicz semantics

Fuzzy Description Logics have been proposed as a family of languages to describe vague or imprecise structured knowledge. This work deals with one of the less studied constructors, qualified cardinality restrictions, showing some counter-intuitive behaviours under Łukasiewicz semantics, and proposing a new semantics and the corresponding reasoning algorithm.

متن کامل

Multi Criteria Decision Making in Fuzzy Description Logics: A First Step

Fuzzy Description Logics are logics which allow to deal with structured knowledge affected by vagueness. Although a relatively important amount of work has been carried out in the last years, fuzzy DLs are open to be extended with several features worked out in other fields. In this work, we start addressing the problem of incorporating Multi-Criteria Decision Making (MCDM) into fuzzy Descripti...

متن کامل

Vagueness in Description Logics for the Semantic Web

Ontologies play a crucial role in the development of the Semantic Web as a means for defining shared terms in Web resources. They are formulated in web ontology languages, which are based on expressive description logics. Significant research efforts are recently directed towards representing and reasoning with uncertainty and vagueness in ontologies for the Semantic Web. In this paper, we give...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006